euclid lemma

欧几里得引理